type of universal algebra

泛代数的型